<?php 
unset($_SESSION['user_id']);

$output = "<br><font color='green'>You are logged out!</font>";

//Output
echo $output;
?>